Planning Domain Definition Language

Results: 128



#Item
71Logic in computer science / Theoretical computer science / Decision theory / Linear temporal logic / Temporal logic / Preference / Planning Domain Definition Language / Fluent / Utility / Logic / Automated planning and scheduling / Mathematical logic

A General Framework for Expressing Preferences in Causal Reasoning and Planning Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam Postfach

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2006-11-29 16:27:00
72Planning Domain Definition Language / Runtime verification / Coordination / Linear temporal logic / Modal logic / Temporal logic / Logic / Philosophical logic / Automated planning and scheduling

Flexible Execution of Partial Order Plans With Temporal Constraints

Add to Reading List

Source URL: tidel.mie.utoronto.ca

Language: English - Date: 2013-11-29 11:25:30
73Planning Domain Definition Language / NuSMV / Texas / Automated planning and scheduling / Action language / Geography of Texas

OBDD-based Planning with Real Variables in a Non-Deterministic Environment Anuj Goel and K. S. Barber Laboratory for Intelligent Processes and Systems The University of Texas At Austin

Add to Reading List

Source URL: idm-lab.org

Language: English - Date: 2005-05-31 06:09:24
74Automated planning and scheduling / Planning Domain Definition Language / Motion planning / NP / PP / Indeterminism / Probability / Theoretical computer science / Computational complexity theory / Applied mathematics

Probabilistic Planning vs Replanning Iain Little and Sylvie Thi´ebaux National ICT Australia & Computer Sciences Laboratory The Australian National University Canberra, ACT 0200, Australia

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2009-07-10 09:25:03
75Operations research / Mathematical optimization / Combinatorial optimization / Convex optimization / Heuristic function / Planning Domain Definition Language / Admissible heuristic / A* search algorithm / Linear programming / Artificial intelligence / Automated planning and scheduling / Heuristics

Optimal Planning with Global Numerical State Constraints Franc Ivankovic, Patrik Haslum, Sylvie Thi´ebaux, Vikas Shivashankar and Dana S. Nau Optimisation Research Group, NICTA Dept. of Comp. Sci., and Inst. for Sys. Rs

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2014-03-14 07:54:37
76Science / Planning Domain Definition Language / State space / Mathematical model / Discretization / State variable / LTI system theory / Automated planning and scheduling / State observer / Mathematics / Control theory / Applied mathematics

A Planning Based Framework for Controlling Hybrid Systems Johannes L¨ohr, Patrick Eyerich, Thomas Keller and Bernhard Nebel Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-Allee[removed]

Add to Reading List

Source URL: gki.informatik.uni-freiburg.de

Language: English - Date: 2012-05-24 11:02:21
77Action description language / Epistemology / Knowledge representation / STRIPS / Planning Domain Definition Language / Frame problem / Artificial intelligence / Automated planning and scheduling / Logic programming

11 PLANNING In which we see how an agent can take advantage of the structure of a problem to construct complex plans of action.

Add to Reading List

Source URL: aima.cs.berkeley.edu

Language: English - Date: 2002-11-14 09:04:38
78Planning Domain Definition Language / Non-player character / Interactive storytelling / Artificial intelligence / Gaming / Games / Human behavior / Video game development / Dispute resolution / Mediation

Gameplay as On-Line Mediation Search Justus Robertson and R. Michael Young Liquid Narrative Group Department of Computer Science North Carolina State University Raleigh, NC 27695

Add to Reading List

Source URL: www.exag.org

Language: English - Date: 2014-08-29 15:44:16
79Stochastic control / S0 / Markov decision process / Planning Domain Definition Language / Reinforcement learning / Automated planning and scheduling / Bellman equation / Temporal difference learning / Tree / Statistics / Dynamic programming / Markov processes

PROST: Probabilistic Planning Based on UCT Thomas Keller and Patrick Eyerich Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-Allee[removed]Freiburg, Germany

Add to Reading List

Source URL: gki.informatik.uni-freiburg.de

Language: English - Date: 2012-05-24 10:56:58
80Automated planning and scheduling / Planning Domain Definition Language / Partially observable Markov decision process / Control theory / Artificial intelligence / Mathematical sciences / Dynamic programming / Markov processes / Stochastic control

ICAPS 2012 Tutorial Recent Advances in Continuous Planning Scott Sanner

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2012-06-26 18:51:09
UPDATE